Смаллиан Р. Вовеки неразрешимое.
| ISBN | 978-5-88373-319-1 |
| Автор | Смаллиан Р. |
| Издательство | Канон+ |
| Переплет книги | твердый переплет |
| Год издания | 2013 |
| Страниц в книге: | 304 |
| Книжная серия | Библиотека аналитической философии |
Описание
Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
